Brevis phát hành sách trắng ProverNet, nêu chi tiết về thị trường tạo bằng chứng không kiến thức phi tập trung đầu tiên.

Hôm nay, Brevis đã phát hành sách trắng ProverNet, giới thiệu kiến trúc thị trường tạo bằng chứng không kiến thức phi tập trung, được phát triển từ quá trình thử nghiệm môi trường sản xuất của các giao thức đa chuỗi chính thống. Hệ thống này giải quyết một hạn chế cơ bản của cơ sở hạ tầng bằng chứng hiện có—không có khả năng phục vụ hiệu quả các tác vụ tính toán không đồng nhất đòi hỏi phần cứng, hệ thống bằng chứng và phương pháp tối ưu hóa khác nhau.

ProverNet xem việc tạo bằng chứng là một thị trường hai chiều, nơi các ứng dụng gửi các yêu cầu cụ thể và các nhà chứng minh chuyên nghiệp đấu thầu để đáp ứng các nhu cầu này. Thị trường này hoạt động thông qua cơ chế Đấu giá Kép Trực tuyến Trung thực, được thiết kế để xử lý đồng thời nhiều loại bằng chứng, đồng thời đảm bảo việc đấu giá trung thực và phân bổ tài nguyên tối ưu. ProverNet dự kiến sẽ sớm chính thức ra mắt.

ProverNet coi việc tạo bằng chứng là một thị trường hai chiều, nơi các ứng dụng gửi các yêu cầu cụ thể và các nhà chứng minh chuyên nghiệp đấu thầu để đáp ứng các nhu cầu này.

Thị trường ProverNet sẽ hoạt động thông qua cơ chế Đấu giá kép trực tuyến trung thực, nhằm xử lý nhiều loại bằng chứng cùng lúc, đồng thời đảm bảo việc đấu giá trung thực và phân bổ tài nguyên tối ưu.

ProverNet dự kiến sẽ sớm chính thức ra mắt.

Quy mô sản xuất bộc lộ những hạn chế về cơ sở hạ tầng

Cơ sở hạ tầng hiện tại của Brevis đã tạo ra hơn 124 triệu bằng chứng cho 98.000 người dùng, bao gồm các giao thức như PancakeSwap, Uniswap, Euler, Linea và MetaMask, tạo điều kiện cho việc phân phối phần thưởng không cần tin cậy trị giá 224 triệu đô la. Những triển khai này cho thấy rõ sự đa dạng của công việc chứng minh, và cách một kiến trúc nhà cung cấp đơn lẻ gặp khó khăn trong việc đáp ứng hiệu quả nhu cầu này.

Hệ thống chiết khấu tỷ lệ VIP của PancakeSwap yêu cầu tạo bằng chứng dưới một giây để xác minh tính đủ điều kiện của từng nhà giao dịch trước mỗi giao dịch. Phân phối ưu đãi của Euler xử lý 100.000 địa chỉ cứ sau bốn giờ, ưu tiên thông lượng hơn độ trễ. Các hoạt động hệ sinh thái của Linea đã tạo ra 12,1 triệu bằng chứng cho tính toán phần thưởng đa giao thức liên quan đến 61.902 địa chỉ.

Các hoạt động trong hệ sinh thái của Linea đã tạo ra 12,1 triệu bằng chứng cho tính toán phần thưởng đa giao thức liên quan đến 61.902 địa chỉ.

Mỗi khối lượng công việc của Brevis yêu cầu các cấu hình phần cứng, hệ thống bằng chứng (SNARK và STARK) và các đặc điểm hiệu suất. Michael, CEO và đồng sáng lập của Brevis, tuyên bố, “Các hệ thống chứng minh hiện tại được tối ưu hóa cho các trường hợp sử dụng cụ thể, chẳng hạn như một số Rollup, máy ảo đơn lẻ hoặc các loại công việc đồng nhất. ProverNet ra đời từ quan sát của chúng tôi rằng các ứng dụng về cơ bản yêu cầu các phương pháp chứng minh khác nhau. Một thị trường nơi các nhà chứng minh chuyên biệt cạnh tranh sẽ hiệu quả hơn bất kỳ nhà điều hành đơn lẻ nào cố gắng phục vụ tất cả các trường hợp sử dụng.” Kiến trúc thị trường và cơ chế TODA Kiến trúc của ProverNet coi các loại chứng minh khác nhau như các hàng hóa khác nhau trong một cuộc đấu giá. Các ứng dụng chỉ định các yêu cầu về chứng minh, bao gồm loại xử lý (thực thi zkVM, chứng minh dữ liệu, tổng hợp đệ quy), thời hạn, chi phí tối đa và các tham số chất lượng. Cơ chế TODA tính toán phân bổ tối ưu trong mỗi vòng, khớp các yêu cầu không đồng nhất với các khả năng chứng minh phù hợp.Cơ chế này giải quyết những thách thức đặc thù của thị trường tạo bằng chứng. Các cơ chế đấu giá truyền thống dựa trên giả định về hàng hóa đồng nhất, trong khi TODA có thể xử lý nhiều loại bằng chứng cùng lúc. Các tác vụ bằng chứng phức tạp được chia thành các tác vụ con, được thực hiện phối hợp bởi các trình chứng minh khác nhau. Ví dụ: một bằng chứng zkVM có thể bao gồm việc tạo các khối trên một trình chứng minh, nén chúng trên một trình chứng minh khác, tổng hợp chúng trên trình chứng minh thứ ba và cuối cùng đóng gói chúng để xác minh cuối cùng trên hệ thống chuyên dụng thứ tư. TODA đảm bảo một số đặc tính kinh tế: Tính xác thực (chiến lược tối ưu là đấu giá trung thực) Cân bằng ngân sách (phí thu được vượt quá số tiền thanh toán) Tính hợp lý cá nhân (không có người tham gia nào chấp nhận một nhiệm vụ không sinh lời) Tối ưu tiệm cận (phân bổ đạt hiệu quả tối đa khi nguồn cung trình chứng minh tăng lên). Thị trường này chạy trên Brevis Chain, một kiến trúc Rollup chuyên dụng được thiết kế riêng cho việc điều phối đấu giá. Kiến trúc này cô lập thông lượng thị trường khỏi tình trạng tắc nghẽn mạng Lớp 1 hoặc Lớp 2, đồng thời duy trì tính minh bạch và khả năng tham gia không cần cấp phép. Các bằng chứng được tạo ra thông qua ProverNet có thể được xác minh với bất kỳ blockchain mục tiêu nào. Pico zkVM và Bằng chứng Thời gian Thực ProverNet được xây dựng trên cơ sở hạ tầng bằng chứng hiện có của Brevis, bao gồm hai dịch vụ bổ sung để đáp ứng các nhu cầu tính toán khác nhau. Pico zkVM sử dụng kiến trúc "lõi đa năng + bộ đồng xử lý hiệu suất cao", với một lõi tối giản, hiệu suất cao được kết nối với một bộ tăng tốc mã hóa chuyên dụng, cho phép các chương trình đạt được tối ưu hóa phần cứng mục tiêu trong khi vẫn chạy một máy ảo ổn định. Pico Prism gần đây đã đạt được độ bao phủ bằng chứng 99,6% cho các khối Ethereum với giới hạn gas là 45 triệu, hoàn thành 96,8% bằng chứng trong vòng 12 giây, với thời gian bằng chứng trung bình là 6,9 giây. Hệ thống sử dụng cụm GPU 64×RTX 5090, đạt được bằng chứng thời gian thực với chi phí phần cứng thấp hơn 50% so với zkVM dẫn đầu thị trường trước đây. Bộ đồng xử lý dữ liệu ZK cho phép các hợp đồng thông minh truy cập dữ liệu blockchain lịch sử và thực hiện các phép tính ngoài chuỗi có thể xác minh bằng mật mã. Các ứng dụng được hỗ trợ bao gồm mức giá VIP của PancakeSwap (kiểm tra khối lượng giao dịch trong 30 ngày trước khi giao dịch), phân phối phần thưởng không cần tin cậy của Euler (xử lý số dư theo thời gian từ hàng nghìn địa chỉ) và chiết khấu định tuyến của Uniswap v4 (xác minh tính đủ điều kiện của giao dịch mà không cần sổ cái tập trung).Những tích hợp này chứng minh các yêu cầu về bằng chứng chuyên sâu về dữ liệu khác với xác minh tính toán mục đích chung. Các hệ thống này cùng nhau thiết lập tính khả thi về mặt kinh tế của việc đạt được xác minh mật mã thời gian thực ở quy mô lớp cơ sở, đồng thời phục vụ các loại khối lượng công việc không đồng nhất, khuyến khích kiến trúc thị trường ProverNet. Tác động đến Hệ sinh thái ZK ProverNet đại diện cho sự chuyển đổi từ cơ sở hạ tầng dựa trên một nhà cung cấp bằng chứng duy nhất sang phân bổ tài nguyên dựa trên nhu cầu thị trường. Các mạng lưới bằng chứng hiện có thường được tối ưu hóa cho các trường hợp sử dụng hẹp (ví dụ: bằng chứng Rollup cụ thể, máy ảo cụ thể hoặc loại công việc đồng nhất), hạn chế khả năng phục vụ hiệu quả các nhu cầu đa dạng của chúng. Mô hình đấu giá thị trường cho phép các nhóm bằng chứng tập trung vào các mục tiêu tối ưu hóa cụ thể (xử lý hàng loạt dựa trên STARK, bằng chứng SNARK có độ trễ thấp, các hoạt động mật mã cụ thể) mà không cần xây dựng cơ sở hạ tầng mục đích chung, trong khi các ứng dụng nhận được giá cả cạnh tranh và đảm bảo dịch vụ mà không bị ràng buộc bởi nhà cung cấp. Đối với các nhà phát triển, điều này loại bỏ sự đánh đổi giữa việc xây dựng cơ sở hạ tầng chứng minh tùy chỉnh (tốn kém và mất thời gian) và việc dựa vào các dịch vụ tập trung (áp dụng các giả định về độ tin cậy), vì xác minh mật mã đảm bảo tính chính xác của phép tính, trong khi cạnh tranh thị trường đảm bảo hiệu quả về giá cả và khả năng cung cấp điện. Thông tin thêm Sách trắng ProverNet đầy đủ có tại: http://www.brevis.network/whitepaper/provernet.pdf Tổng quan kỹ thuật ngắn gọn đã được đăng trên blog Brevis: https://blog.brevis.network/2025/10/28/brevis-provernet-building-the-open-marketplace-for-zero-knowledge-proofs/